World of Books - Find your book here

Opportunities and Constraints of Parallel Computing

Opportunities and Constraints of Parallel Computing

Preview

Tom Leighton Laboratory for Computer Science Massachusetts Institute of Technology 545 Technology Square Cambridge, MA 02139 Bruce Maggs Laboratory for Computer Science Massachusetts Institute of Technology 545 Technology ...
Architects of the Information Society: 35 Years of the ...

Architects of the Information Society: 35 Years of the ...

Simson Garfinkel

Thirty-Five Years of tjhe Laboratory for Com Simson L. Garl'inkel edited by Hal Abelson The Massachusetts Institute of Technology's Laboratory for Computer Science (LCS) has been responsible 1'or some ol'lhc mosi significant technological ...
Disordered Materials: Science and Technology

Disordered Materials: Science and Technology

Stadford R. Ovshinsky

Series editors David Adlert Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies Bloomfield Hills, Michigan and Brooklyn College of the City University of New York Brooklyn,  ...
The National Academies Keck Futures Initiative: The Future ...

The National Academies Keck Futures Initiative: The Future ...

The National Academies

... Massachusetts Institute of Technology • Helen Vlassara, Mount Sinai School of Medicine • Mary White, Centers for Disease Control and Prevention • Allyson Collins, Massachusetts Institute of Technology TASK GROuP SuMMARy By allyson ...
Laboratory for Computer Science Progress Report

Laboratory for Computer Science Progress Report

Massachusetts Institute of Technology. Laboratory for Computer Science

John Kubiatowicz, David Chaiken, Anant Agarwal, Arthur Altman, Jonathan Babb , David Kranz, Beng-Hong Lim, Ken Mackenzie, John Piscitello, and Donald Yeung. The Alewife CMMU: Addressing the multiprocessor communications gap.
Laboratory for Computer Science Progress Report

Laboratory for Computer Science Progress Report

Massachusetts Institute of Technology. Laboratory for Computer Science

Barbara Liskov. Efficient and reliable storage in the interactive World-Wide metacom- puter. DARPA Meeting, Arlington, VA, June 1996. Barbara Liskov. Integrating persistent object bases with communication (Keynote Address). 15th Annual ...
Disordered Semiconductors

Disordered Semiconductors

Marc A. Kastner

Institute for Amorphous Studies Series Series editors David Adler Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies Bloomfield Hills, Michigan and Brooklyn College of the ...
Localization and Metal-Insulator Transitions

Localization and Metal-Insulator Transitions

Preview

Institute for Amorphous Studies Series Series editors David Adler Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies Bloomfield Hills, Michigan and Brooklyn College of the ...
Unconventional Photoactive Solids

Unconventional Photoactive Solids

Harvey Scher

Institute for Amorphous Studies Series Series editors David Adlert Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies Bloomfield Hills, Michigan and Brooklyn College of the ...
Formal Methods for Components and Objects: First ...

Formal Methods for Components and Objects: First ...

Preview

Gary Todd Leavens. Verifying object-oriented programs that use subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989. The author's Ph.D. thesis. K. Rustan M. Leino. A myth ...
Shared Memory Multiprocessing

Shared Memory Multiprocessing

Preview

Anant Agarwal Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA Gail A. Alverson Department of Computer Science and Engineering University of Washington Seattle, WA Yoshihiro Asano NEC ...
Disorder and Order in the Solid State: Concepts and Devices

Disorder and Order in the Solid State: Concepts and Devices

Preview

Series editors David Adlert Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies Bloomfield Hills, Michigan and Brooklyn College of the City University of New York Brooklyn,  ...
Specification of Parallel Algorithms

Specification of Parallel Algorithms

Guy E. Blelloch, K. Mani Chandy, and Suresh Jagannathan

Also, in Technical Memo MIT/LCS/TM-373, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, November 1988. 18. N.A. Lynch and F.W. Vaandrager. Forward and backward simulations - Part I: Untimed  ...
ACM SIGPLAN Notices: A Monthly Publication of the Special ...

ACM SIGPLAN Notices: A Monthly Publication of the Special ...

More editions

Springer- Verlag, New York, N.Y., 1993. [Lea89] Gary Todd Leavens. Verifying Object-Oriented Programs that use Subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989.
ICDT '88: 2nd International Conference on Database Theory, ...

ICDT '88: 2nd International Conference on Database Theory, ...

Marc Gyssens

An expanded version is available as Technical Report MIT/LCS/TR-387, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., April 1987. [Milner] Milner, R., "A Calculus of Communicating Systems," ...
RLE Progress Report

RLE Progress Report

Massachusetts Institute of Technology. Research Laboratory of Electronics

Microscopic Mechanisms Underlying Macroscopic Response of ASCI Materials Academic and Research Staff Professor Tomas A. Arias, Professor Sidney Yip, Dr . Vasily Bulatov, Dr. Andrew Pochinsky Graduate Students Wei Cai, Jinpeng ...
Distributed Algorithms: 11th International Workshop, WDAG ...

Distributed Algorithms: 11th International Workshop, WDAG ...

Marios Mavronicolas

R. De Frisco, Revisiting the Paxos algorithm, M.S. Thesis, Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, MA, June 1997. Technical Report MIT-LCS-TR-717, Lab. for Computer Science, MIT, Cambridge,  ...
Physical Properties of Amorphous Materials

Physical Properties of Amorphous Materials

Preview

David Adler, Brian Schwartz, Martin C. Steele. Institute for Amorphous Studies Series Series editors David Adler Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies ...
OOPSLA ECOOP '90 proceedings: Conference on object-oriented ...

OOPSLA ECOOP '90 proceedings: Conference on object-oriented ...

ACM Special Interest Group on Programming Languages

[Lea89] Gary Todd Leavens. Verifying object- oriented programs that use subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989. The author's Ph.D. thesis. [ Lea90] Gary T.
Journal of the Franklin Institute

Journal of the Franklin Institute

More editions

n „ , 6J Dr. C. B. Bazzoni and Charles Winters MacGregor, Ph.D., Associate Professor of Mechanical Engineering, Massachusetts Institute of Technology. Presentation of Potts Medal Harold Eugene Edgerton, D.Sc, Mr. L. P. Tabor Associate ...
Publications from the Institute

Publications from the Institute

Massachusetts Institute of Technology

... Photochemical Reactions of Bcnzonitrile with Olefins and Acetylenes (June, 1962). edward martin barrall, ii, Differential Thermal Analysis of Organic Compounds (September, 1961). charles Herbert beede, Chemistry of Cyclobutcne Oxides ...

who called from an unknown number?